Method for Producing Computer-Assisted Real-Time Systems by Ralf Münzenberger, Frank Slomka, Matthias Dörfel, and Oliver Bringmann , 2006.